41. Argumentation Machines :
Author: edited by Chris Reed, Timothy J. Norman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic.
42. Argumentation mining /
Author: Manfred Stede, Jodi Schneider.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining.,Logic-- Data processing.,Natural language processing (Computer science),Reasoning-- Data processing.,COMPUTERS-- General.,Data mining.,Logic-- Data processing.,Natural language processing (Computer science),Reasoning-- Data processing.
Classification :
QA76
.
9
.
D343
S742
2019
43. Artificial Intelligence in Logic Design
Author: by Svetlana N. Yanushkevich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
44. Automata, Languages and Programming :
Author: edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
45. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
Author: Puppis, Gabriele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
Classification :
QA
267
.
P87
2010
46. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
47. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
48. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
49. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
50. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
51. Automated Deduction - CADE-23 :
Author: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
52. Automated Deduction -- Cade-13 :
Author: edited by M.A. McRobbie, J.K. Slaney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
53. Automated Mathematical Induction
Author: edited by Hantao Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic.
Classification :
QA76
.
9
.
A96
E358
1996
54. Automation of Reasoning :
Author: edited by Jörg H. Siekmann, Graham Wrightson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
A96
E358
1983
55. Axiomatising the Logic of Computer Programming
Author: by Robert Goldblatt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic design.
56. Baltic Computer Science :
Author: by Janis Barzdins, Dines Bjorner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
B953
1991
57. Benutzerhandbuch für die interaktive Geometrie-Software :
Author: von Jürgen Richter-Gebert, Ulrich H. Kortenkamp.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Geometry.,Logic, Symbolic and mathematical.
58. Between mind and computer : fuzzy science and engineering
Author: editors, P.-Z. Wang, K.-F. Loe
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science, Fuzzy logic, Fuzzy sets
Classification :
QA
76
.
B477
1993
59. Between mind and computer: fuzzy science and engineering
Author: editors, P.-Z. Wang, K.-F. Loe
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer science,، Fuzzy logic,، Fuzzy sets
Classification :
QA
76
.
B477
